On 2018-03-31 20:25:24 -0700, Peter Geoghegan wrote:
> On Sat, Mar 31, 2018 at 8:09 PM, Peter Geoghegan <pg@bowt.ie> wrote:
> > I was thinking of using rint(), which is what you get if you call
> > round(float8) from SQL.
>
> Attached patch does it that way. Note that there are float/int cast
> regression tests that ensure that rint() behaves consistently on
> supported platforms -- see commit 06bf0dd6.
LGTM, pushed. Closing CF entry. Yay! Only 110 to go.
- Andres