max(f64 / i32)
