二进制算术运算减法