Integer Rules Subtraction