On 2018-03-31 20:25:24 -0700, Peter Geoghegan wrote: > On Sat, Mar 31, 2018 at 8:09 PM, Peter Geoghegan <p...@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
