toJSON(f64 <= 1)
