Re: [GHC] #7460: Double literals generated bad core