Re: [GHC] #9306: Crash when shifting Integers too far left (was: Crash when shifting Integers too much)