pub const POSITIVE_INFINITY: &Double;