printf core: fix gratuitous integer formatting buffer size

[musl] / include / float.h

diff --git a/include/float.h b/include/float.h
index 2b2ad39..713aadb 100644 (file)
--- a/include/float.h
+++ b/include/float.h
@@ -1,6 +1,13 @@
 #ifndef _FLOAT_H
 #define _FLOAT_H
 
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+int __flt_rounds(void);
+#define FLT_ROUNDS (__flt_rounds())
+
 #define FLT_RADIX 2
 
 #define FLT_TRUE_MIN 1.40129846432481707092e-45F
@@ -11,8 +18,10 @@
 #define FLT_MANT_DIG 24
 #define FLT_MIN_EXP (-125)
 #define FLT_MAX_EXP 128
+#define FLT_HAS_SUBNORM 1
 
 #define FLT_DIG 6
+#define FLT_DECIMAL_DIG 9
 #define FLT_MIN_10_EXP (-37)
 #define FLT_MAX_10_EXP 38
 
@@ -24,11 +33,20 @@
 #define DBL_MANT_DIG 53
 #define DBL_MIN_EXP (-1021)
 #define DBL_MAX_EXP 1024
+#define DBL_HAS_SUBNORM 1
 
 #define DBL_DIG 15
+#define DBL_DECIMAL_DIG 17
 #define DBL_MIN_10_EXP (-307)
 #define DBL_MAX_10_EXP 308
 
+#define LDBL_HAS_SUBNORM 1
+#define LDBL_DECIMAL_DIG DECIMAL_DIG
+
 #include <bits/float.h>
 
+#ifdef __cplusplus
+}
+#endif
+
 #endif