toJSON(f64 <= i32)
