i64 - i32 % i32
