Re: [GHC] #13504: registerTimeout can wait too little because it uses Doubles for times