i64 >= i64 / i32
