Re: Ryu floating point output patch

On 2/17/19 6:15 PM, Andrew Gierth wrote:
>>>>>> "Tom" == Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> writes:
> > Andrew Dunstan <andrew(dot)dunstan(at)2ndquadrant(dot)com> writes:
> >> Here's a patch without docco. How much do we actually want to
> >> document this? I'm not sure it has any great value outside of
> >> cross-version upgrade testing.
>
> Tom> I think we have to document it, but it can be fairly terse perhaps.
>
> Tom> Use the specified value of extra_float_digits when dumping
> Tom> floating-point data, rather than pg_dump's default.
>
> Tom> I don't think we need to go into detail about when/why you might
> Tom> want to use it; I can see people thinking of their own reasons.
>
> It should probably at least say that (a) the default is to dump with the
> maximum available precision, and at least hint at (b) that ordinary use
> doesn't require the option. We shouldn't mislead people into thinking
> they need it when they don't.
>

Would you like to reformulate this, then?

cheers

andrew

--
Andrew Dunstan https://www.2ndQuadrant.com
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services