max(i32 + 0.5, f64)
