Re: [GHC] #7378: Identical alts/bad divInt# code