diff --git a/doc/src/sgml/release-12.sgml b/doc/src/sgml/release-12.sgml index eb4f8998cf..02625e6bcc 100644 --- a/doc/src/sgml/release-12.sgml +++ b/doc/src/sgml/release-12.sgml @@ -187,9 +187,10 @@ Avoid performing unnecessary rounding of REAL and DOUBLE PREC -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 -extra_float_digits=0. +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.