i32 % i64 == i
