toJSON(i <= f64)
