diff options
| author | Sverker Eriksson <[email protected]> | 2019-03-04 16:14:20 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-03-04 16:14:20 +0100 |
| commit | 2052caebf9a9b8d25e1873d9c850b272a98d4680 (patch) | |
| tree | 469b5fd71a9eba52c55ecd3b1a955cb348b82f84 /erts | |
| parent | 232a39c043ea27e83fa4956b1b8d802b3206a338 (diff) | |
| parent | 674379e1f09748cbd497ba381ab8ddd6581effa6 (diff) | |
| download | otp-2052caebf9a9b8d25e1873d9c850b272a98d4680.tar.gz otp-2052caebf9a9b8d25e1873d9c850b272a98d4680.tar.bz2 otp-2052caebf9a9b8d25e1873d9c850b272a98d4680.zip | |
Merge pull request #2163 from filmor/float-etf-doc
Clarify in the docs that (NEW_)FLOAT_EXT must be finite
Diffstat (limited to 'erts')
| -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. |