1
0
mirror of https://github.com/postgres/postgres.git synced 2025-05-06 19:59:18 +03:00

docs: adjust PG 12 floating point item

Reported-by: Andrew Gierth

Discussion: https://postgr.es/m/87r295hjur.fsf@news-spur.riddles.org.uk
This commit is contained in:
Bruce Momjian 2019-05-11 10:29:30 -04:00
parent 54c2ecb567
commit 0edc8fc47b

View File

@ -187,9 +187,10 @@ Avoid performing unnecessary rounding of <type>REAL</type> and <type>DOUBLE PREC
</para> </para>
<para> <para>
This dramatically speeds up processing of floating-point values, though This dramatically speeds up processing of floating-point values but causes
trailing digits are display slightly differently. Users who wish to have output that is rounded can set additional trailing digits to potentially be displayed. Users wishing
<literal>extra_float_digits=0</literal>. to have output that is rounded to match the previous behavior can set
<literal>extra_float_digits=0</literal>, which is no longer the default.
</para> </para>
</listitem> </listitem>