The operator, e.g. -
The left-hand side (or sole) argument
The right-hand side type involved in the operator
Nominally the result is the desired value of the operator, which will be forwarded as result. For Throw, the function never returns because it throws an exception.
CheckFailure on overflow
Called automatically upon an overflow during a unary or binary operation.