diff options
| author | Bruce Momjian <bruce@momjian.us> | 2019-05-11 10:29:30 -0400 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2019-05-11 10:29:32 -0400 |
| commit | 0edc8fc47bc4482ceac85b09575d6372dbbc0bbf (patch) | |
| tree | d46c594096b56142e6acd788989cf54f38862f25 | |
| parent | 54c2ecb56707ed00844b8678a79570dd34cb95a3 (diff) | |
| download | postgresql-0edc8fc47bc4482ceac85b09575d6372dbbc0bbf.tar.gz postgresql-0edc8fc47bc4482ceac85b09575d6372dbbc0bbf.zip | |
docs: adjust PG 12 floating point item
Reported-by: Andrew Gierth
Discussion: https://postgr.es/m/87r295hjur.fsf@news-spur.riddles.org.uk
| -rw-r--r-- | doc/src/sgml/release-12.sgml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/src/sgml/release-12.sgml b/doc/src/sgml/release-12.sgml index eb4f8998cf9..02625e6bccb 100644 --- a/doc/src/sgml/release-12.sgml +++ b/doc/src/sgml/release-12.sgml @@ -187,9 +187,10 @@ Avoid performing unnecessary rounding of <type>REAL</type> and <type>DOUBLE PREC </para> <para> -This dramatically speeds up processing of floating-point values, though -trailing digits are display slightly differently. Users who wish to have output that is rounded can set -<literal>extra_float_digits=0</literal>. +This dramatically speeds up processing of floating-point values but causes +additional trailing digits to potentially be displayed. Users wishing +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> </listitem> |