max(float(f64))
