aboutsummaryrefslogtreecommitdiffstats
path: root/doc/gawk.info
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2013-01-21 21:00:36 +0200
committerArnold D. Robbins <arnold@skeeve.com>2013-01-21 21:00:36 +0200
commit28d9143e9b98728450f5db7b2244f99768de399f (patch)
tree306ae95dc7fe00e45c66779726ebd816964ab506 /doc/gawk.info
parent8f54dd0de27cbb617ef7c3a1f5a3d57502c117aa (diff)
downloadegawk-28d9143e9b98728450f5db7b2244f99768de399f.tar.gz
egawk-28d9143e9b98728450f5db7b2244f99768de399f.tar.bz2
egawk-28d9143e9b98728450f5db7b2244f99768de399f.zip
Typo fix in doc.
Diffstat (limited to 'doc/gawk.info')
-rw-r--r--doc/gawk.info2
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.