toJSON(max(f64))
