var DBL_MIN_EXP: Int32 { get }