From 0edc8fc47bc4482ceac85b09575d6372dbbc0bbf Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Sat, 11 May 2019 10:29:30 -0400
Subject: [PATCH] docs:  adjust PG 12 floating point item

Reported-by: Andrew Gierth

Discussion: https://postgr.es/m/87r295hjur.fsf@news-spur.riddles.org.uk
---
 doc/src/sgml/release-12.sgml | 7 ++++---
 1 file 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>