i * i64 >= i32
