i64 * i32 >= i64
