the special case here lines up with the special case of using a larger shift for a smaller result, so we can just grab CF from the larger result. Signed-off-by: Alyssa Rosenzweig <alyssa@rosenzweig.io>
SupportsSaturatingRoundingShifts