[GHC] #8638: Optimize by demoting "denormalized" Integers (i.e. J# -> S#)