pub const PLUS_INFINITY: &str = "PLUS-INFINITY";