binary arithmetic subtraction