i32 - i64 % i64
