Constant folding support for calls to umul.with.overflow(), basically identical to...