pub const DBL_MIN_10_EXP: i32 = -307;