i32 != i64 % i32
