var DBL_MIN: Double { get }