Re: mingw32 floating point diff

Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
> The circle.sql file already has SET extra_float_digits TO 0, and a few
> other files have other settings with different values.  Are we content
> to use various numbers until it works in each case, or should we try to
> use some consistency?

The one in rules.sql doesn't count here.  Everyplace else seems to be
using 0, except for the one in geometry.sql, which seems to be perhaps
unreasonably conservative.  Might be worth researching why it's -3.

            regards, tom lane