fractional binary number subtraction