added tests for DBL_MAX, DBL_EPSILON, DBL_MIN and DBL_DENORM_MIN