Clarify that OverflowingBinaryOperator is not used for SDiv, even though