max(i32 / i64)
