1 files changed, 13 insertions, 0 deletions
diff --git a/src/float/DBL_MANT_DIG.c b/src/float/DBL_MANT_DIG.c
new file mode 100644
index 00000000..b89e6ac1
--- /dev/null
+++ b/src/float/DBL_MANT_DIG.c
@@ -0,0 +1,13 @@
+#include <float.h>
+#define DBL_MANT_DIG                                                        (53)
+
+/** double mantissa **/
+
+/***
+is the number of digits, in base-IDENTIFIER(FLT_RADIX), in the
+floating-point significand for TYPE(double) variables. It is not necessarily
+a constant value.
+***/
+/*
+STDC(1)
+*/