toJSON(f64 + 1)
