#include <float.h>
#define DBL_MIN                                                  (2.225074E-308)

/** double minimum positive number **/

/***
is the smallest normalized value of a TYPE(double).
***/

/*
VALUE_MIN(1e-37)
*/
/*
STDC(1)
*/