i64 >= i32 % i64
