subtraction, integer inputs, some tests