fix DECIMAL_DIG definitions

DECIMAL_DIG is not the same as LDBL_DIG

type_DIG is the maximimum number of decimal digits that can survive a
round trip from decimal to type and back to decimal.

DECIMAL_DIG is the minimum number of decimal digits required in order
for any floating point type to survive the round trip to decimal and
back, and it is generally larger than LDBL_DIG. since the exact
formula is non-trivial, and defining it larger than necessary may be
legal but wasteful, just define the right value in bits/float.h.

1 files changed, 0 insertions, 2 deletions

diff --git a/include/float.h b/include/float.h
index ef91f37d..ea25f270 100644
--- a/include/float.h
+++ b/include/float.h
@@ -29,6 +29,4 @@
 
 #include <bits/float.h>
 
-#define DECIMAL_DIG LDBL_DIG
-
 #endif