i64 % i32 == i
