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

On Thu, Mar 26, 2015 at 11:12 AM, Andrew Gierth wrote:
>>>>>> "Michael" == Michael Paquier writes:
>
>  Michael> Indeed...
>  Michael> =# select column1 AS double_value, cast(column1 AS INT) AS
>  Michael> int_value
>
> The complication for numeric is that there's also the case of round(x,n)
> and casting to numeric(m,n) to consider.

OK, thanks for the reminder... I forgot this case.
--
Michael