docs: adjust PG 12 floating point item

Reported-by: Andrew Gierth
Discussion: https://postgr.es/m/[email protected]

diff --git a/doc/src/sgml/release-12.sgml b/doc/src/sgml/release-12.sgml
index eb4f8998cf9a91d2bf744ab816da9912a7c273b9..02625e6bccbb14ffb7b955e108367fb8b6702777 100644 (file)
--- 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.