diff options
Diffstat (limited to 'doc/gawk.info')
| -rw-r--r-- | doc/gawk.info | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gawk.info b/doc/gawk.info index e8a85e8b..a9acd6a1 100644 --- a/doc/gawk.info +++ b/doc/gawk.info @@ -21094,7 +21094,7 @@ to the formula: Here, PREC denotes the binary precision (measured in bits) and DPS (short for decimal places) is the decimal digits. We can easily calculate how many decimal digits the 53-bit significand of an IEEE -double is equivalent to: 53 / 3.332 which is equal to about 15.95. But +double is equivalent to: 53 / 3.322 which is equal to about 15.95. But what does 15.95 digits actually mean? It depends whether you are concerned about how many digits you can rely on, or how many digits you need. |