Re: [GHC] #15502: -ddump-splices truncates Integer literals to Int literals