Re: need higher extra_float_digits value (3)

Keh-Cheng Chu <kehcheng(at)solar2(dot)Stanford(dot)EDU> writes:
> I have been running a locally modified postgresql server with
> extra_float_digits' upper limit increased by one to 3 and a
> modified pg_dump which sets extra_float_digits to 3; I have
> verified that the modification does what I need and it does
> not seem to have any side effect other than providing one
> more significant figure than needed for double precision
> binary to decimal conversion. I would like to ask the
> postgresql development team to consider it for a future
> release.

Committed for 8.5.

regards, tom lane