#include <float.h>
#define FLT_MANT_DIG                                                        (24)

/** float mantissa **/

/***
is the number of digits, in base-IDENTIFIER(FLT_RADIX), in the
floating-point significand for TYPE(float) variables. It is not necessarily
a constant value.
***/
/*
STDC(1)
*/