i32 - i32 <= i32 + i64
