var DBL_MAX: Double { get }