Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version - Mailing list pgsql-bugs

From Tom Lane
Subject Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version
Date
Msg-id 22366.1427313454@sss.pgh.pa.us
Whole thread Raw
In response to BUG #12885: The result of casting a double to an integer depends on the database version  (rschaaf@commoninf.com)
Responses Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version  (Michael Paquier <michael.paquier@gmail.com>)
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version  (Andrew Gierth <andrew@tao11.riddles.org.uk>)
List pgsql-bugs
Pedro Gimeno <pgsql-004@personal.formauri.es> writes:
> Tom Lane wrote, On 2015-03-25 18:57:
>> Hmm ... I'm thinking we probably should explicitly check for inf and NaN,
>> no?

> I agree about NaN; it worked but mostly by accident. The big number
> detection catches infinity unambiguously. Added to a comment in the
> attached (plus corresponding tests).

I fooled around with this some more for clarity and committed it.
Thanks for your work!

BTW, if memory serves we also have a pretty lazy rounding implementation
for the numeric datatype.  I wonder if now would be a good time to upgrade
that to be round-to-nearest-even as well.

            regards, tom lane

pgsql-bugs by date:

Previous
From: Tom Lane
Date:
Subject: Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version
Next
From: Michael Paquier
Date:
Subject: Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version