File 0573-Clarify-in-the-docs-that-NEW_-FLOAT_EXT-must-be-fini.patch of Package erlang

From 674379e1f09748cbd497ba381ab8ddd6581effa6 Mon Sep 17 00:00:00 2001
From: Benedikt Reinartz <filmor@gmail.com>
Date: Wed, 27 Feb 2019 13:18:06 +0100
Subject: [PATCH] Clarify in the docs that (NEW_)FLOAT_EXT must be finite

---
 erts/doc/src/erl_ext_dist.xml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/erts/doc/src/erl_ext_dist.xml b/erts/doc/src/erl_ext_dist.xml
index ca55c6233c..4721747097 100644
--- a/erts/doc/src/erl_ext_dist.xml
+++ b/erts/doc/src/erl_ext_dist.xml
@@ -367,8 +367,9 @@
       </row>
     <tcaption>FLOAT_EXT</tcaption></table>
     <p>
-      A float is stored in string format. The format used in sprintf to
-      format the float is "%.20e"
+      A finite float (i.e. not inf, -inf or NaN) is stored in
+      string format. The format used in sprintf to format the
+      float is "%.20e"
       (there are more bytes allocated than necessary).
       To unpack the float, use sscanf with format "%lf".
     </p>
@@ -983,7 +984,8 @@
 	  </row>
 	<tcaption>NEW_FLOAT_EXT</tcaption></table>
 	<p>
-	  A float is stored as 8 bytes in big-endian IEEE format.
+	  A finite float (i.e. not inf, -inf or NaN) is stored as 8 bytes
+	  in big-endian IEEE format.
 	</p>
 	<p>
 	  This term is used in minor version 1 of the external format.
-- 
2.16.4