max(f64, f64)
