toJSON(f64 < i64)
