The computation and its result use the type twice as wide as the parameters' element type. Returning to the original width, when needed, is left to the caller through convert.
Note
64 bits types are their own upgrade, so the option does nothing for them.
