Re: [GHC] #3070: floor(0/0) should not be defined