On Tue, Dec 13, 2016 at 10:46 AM, Robert Haas <robertmhaas@gmail.com> wrote:
> On Tue, Dec 13, 2016 at 10:41 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> Robert Haas <robertmhaas@gmail.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".
>
> Good idea.
Committed.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company