Integer subtraction rules