diff --git a/doc/src/sgml/release-12.sgml b/doc/src/sgml/release-12.sgml index 8529c6a261e..51de9cac16c 100644 --- a/doc/src/sgml/release-12.sgml +++ b/doc/src/sgml/release-12.sgml @@ -207,18 +207,16 @@ Author: Andrew Gierth --> - Avoid performing unnecessary rounding of REAL and DOUBLE - PRECISION values (Andrew Gierth) + Improve performance by changing the default number of trailing digits + output for REAL + and DOUBLE PRECISION values (Andrew Gierth) - 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 extra_float_digits=0, - which is no longer the default. + Previously, float values were output rounded to 6 or 15 decimals + by default. Now, only the number of digits required to preserve + the exact binary value is output. The previous behavior can be + restored by setting to zero.