diff options
| -rw-r--r-- | doc/ChangeLog | 5 | ||||
| -rw-r--r-- | doc/gawk.info | 2 | ||||
| -rw-r--r-- | doc/gawk.texi | 2 |
3 files changed, 7 insertions, 2 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 2c31d9d4..70782728 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,8 @@ +2013-01-21 Arnold D. Robbins <arnold@skeeve.com> + + * gawk.texi (Setting Precision): Fix a typo. 3.322 instead + of 3.332. Thanks to Hermann Peifer. + 2013-01-09 Arnold D. Robbins <arnold@skeeve.com> * gawk.texi: Minor edits to documentation for new inplace extension. 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. diff --git a/doc/gawk.texi b/doc/gawk.texi index f728b3fd..7c59d385 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -27958,7 +27958,7 @@ Here, @var{prec} denotes the binary precision (measured in bits) and @var{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. +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. |