Sorry, I misunderstood... the output type was int, and it was scaled correctly before?  Then we should probably not add an extra cast.  Any numeric format (scaled correctly) is valid output.