A simple non-portable expression tha

[ARPA at brl-smoke]

"provided the types of the operands ... are not changed by this
regrouping" to me covers the case of a change in "widening" also.