Rewriting Subtraction Into Addition Integers