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

From Pedro Gimeno
Subject Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version
Date
Msg-id 5512F2C0.9080007@personal.formauri.es
Whole thread Raw
In response to Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version  (Pedro Gimeno <pgsql-004@personal.formauri.es>)
List pgsql-bugs
Pedro Gimeno wrote, On 2015-03-25 17:22:
> Sorry about that. I hope the attached helps.

The previous version left out a corner case. Attached is a function and
test suite to deal with it.


Attachment

pgsql-bugs by date:

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