diff options
| author | Benedikt Reinartz <[email protected]> | 2019-02-27 13:18:06 +0100 |
|---|---|---|
| committer | Benedikt Reinartz <[email protected]> | 2019-02-27 13:19:49 +0100 |
| commit | 674379e1f09748cbd497ba381ab8ddd6581effa6 (patch) | |
| tree | 345b46bb12f17517e02414414837a9a8f943f03b /erts/doc/src/erl_ext_dist.xml | |
| parent | 42f0f3fcbce009e56270fdccdb6f0a85e3b4b368 (diff) | |
| download | otp-674379e1f09748cbd497ba381ab8ddd6581effa6.tar.gz otp-674379e1f09748cbd497ba381ab8ddd6581effa6.tar.bz2 otp-674379e1f09748cbd497ba381ab8ddd6581effa6.zip | |
Clarify in the docs that (NEW_)FLOAT_EXT must be finite
Diffstat (limited to 'erts/doc/src/erl_ext_dist.xml')
| -rw-r--r-- | erts/doc/src/erl_ext_dist.xml | 8 |
1 files 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. |