An arithmetic subtraction operation, such as (a - b), that has overflow checking, for numeric operands.