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

>>>>> "Tom" == Tom Lane <tgl@sss.pgh.pa.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.

--
Andrew (irc:RhodiumToad)