Robert Haas <robertmhaas(at)gmail(dot)com> writes:
> I find this a bit unclear, because the revised text kind of jumps back
> and forth between the floating-point and integer formats. Perhaps
> something like this:
Your wording seems OK to me, although I'd drop the "instead".
regards, tom lane