From 28d9143e9b98728450f5db7b2244f99768de399f Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Mon, 21 Jan 2013 21:00:36 +0200 Subject: Typo fix in doc. --- doc/gawk.info | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/gawk.info') 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. -- cgit v1.2.3