From b84a801d6a6737e6d84326b77d98b498402ecad0 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Tue, 21 May 2019 16:31:02 -0400
Subject: [PATCH] doc:  adjust PG 12 relnotes item on float digit adjustment

Discussion: https://postgr.es/m/87y330d8ty.fsf@news-spur.riddles.org.uk
---
 doc/src/sgml/release-12.sgml | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

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 <rhodiumtoad@postgresql.org>
 -->
 
      <para>
-      Avoid performing unnecessary rounding of <link
-      linkend="datatype-float"><type>REAL</type></link> and <type>DOUBLE
-      PRECISION</type> values (Andrew Gierth)
+      Improve performance by changing the default number of trailing digits
+      output for <link linkend="datatype-float"><type>REAL</type></link>
+      and <type>DOUBLE PRECISION</type> values (Andrew Gierth)
      </para>
 
      <para>
-      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 <link
-      linkend="guc-extra-float-digits"><literal>extra_float_digits=0</literal></link>,
-      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 <xref linkend="guc-extra-float-digits"/> to zero.
      </para>
     </listitem>