diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2013-01-21 21:00:36 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2013-01-21 21:00:36 +0200 |
| commit | 28d9143e9b98728450f5db7b2244f99768de399f (patch) | |
| tree | 306ae95dc7fe00e45c66779726ebd816964ab506 /doc/gawk.texi | |
| parent | 8f54dd0de27cbb617ef7c3a1f5a3d57502c117aa (diff) | |
| download | egawk-28d9143e9b98728450f5db7b2244f99768de399f.tar.gz egawk-28d9143e9b98728450f5db7b2244f99768de399f.tar.bz2 egawk-28d9143e9b98728450f5db7b2244f99768de399f.zip | |
Typo fix in doc.
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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. |