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

From Michael Paquier
Subject Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version
Date
Msg-id CAB7nPqTyMLLe228z78Np1Qe0pO-mhSR4tv_M4mFLyhiwGpJt+A@mail.gmail.com
Whole thread Raw
In response to Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version  (Tom Lane <tgl@sss.pgh.pa.us>)
List pgsql-bugs
On Thu, Mar 26, 2015 at 4:57 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> 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!

Thanks Tom for wrapping up stuff, and Pedro for the patch.
--
Michael

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: Andrew Gierth
Date:
Subject: Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version