#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)
*/