-(i32 - i)
