toJSON(1 < f64)
