#include <float.h>
#define DBL_MIN_EXP                                                      (-1021)

/** double minimum exponent **/

/***
is the smallest negative integer for which
POW(IDENTIFIER(FLT_RADIX), THIS() - 1) is a normalized TYPE(double).
***/
/*
STDC(1)
*/