Similar to D79116 and rGbfd51216 - if the 1st cast is exact, then we can go directly to the destination type because there is no double-rounding.
