Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version

From: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
To: Michael Paquier <michael(dot)paquier(at)gmail(dot)com>
Cc: Andrew Gierth <andrew(at)tao11(dot)riddles(dot)org(dot)uk>, Pedro Gimeno <pgsql-004(at)personal(dot)formauri(dot)es>, rschaaf(at)commoninf(dot)com, pgsql-bugs(at)postgresql(dot)org
Subject: Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version
Date: 2015-03-26 02:07:53
Message-ID: 18005.1427335673@sss.pgh.pa.us
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-bugs

Michael Paquier <michael(dot)paquier(at)gmail(dot)com> writes:
> On Thu, Mar 26, 2015 at 9:19 AM, Andrew Gierth
> <andrew(at)tao11(dot)riddles(dot)org(dot)uk> wrote:
> "Tom" == Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> writes:
>>> Tom> BTW, if memory serves we also have a pretty lazy rounding
>>> Tom> implementation for the numeric datatype. I wonder if now would be
>>> Tom> a good time to upgrade that to be round-to-nearest-even as well.

>> A data point: there have been occasional complaints on IRC about the
>> fact that numeric rounding is not round-to-even, but obviously it's
>> harder to tell if anyone is relying on the current behavior.

> Tom, if there is a patch showing up soon, would you integrate it? I
> imagine that it would be good to have the same behavior for a maximum
> of datatypes in 9.5 now that src/port/rint.c is more compliant.

Yes, that's what I was thinking --- if we're changing this in 9.5 for
float (on Windows and whatever other platforms use rint.c) then it would
be sensible to fix numeric at the same time. I will commit a patch if
it shows up, but do not have time to write one myself.

regards, tom lane

In response to

Browse pgsql-bugs by date

  From Date Subject
Next Message Andrew Gierth 2015-03-26 02:12:16 Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version
Previous Message Michael Paquier 2015-03-26 01:27:54 Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version