var DBL_MAX_EXP: Int32 { get }