pub fn number(value: f64) -> Value
A JavaScript number as JSON: an integer when it is a safe one, so it compares equal to the same number parsed from a pi file.