DBL_MAX_EXP
#undef DBL_MAX_EXP
#define DBL_MAX_EXP 1024
# define DBL_MAX_EXP 1024
# define DBL_MAX_EXP 63
# define DBL_MAX_EXP 127