On Tue, Dec 13, 2016 at 10:46 AM, Robert Haas <[email protected]> wrote: > On Tue, Dec 13, 2016 at 10:41 AM, Tom Lane <[email protected]> wrote: >> Robert Haas <[email protected]> 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 -- Sent via pgsql-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
