Re: [GHC] #2140: cpuTimePrecision is wrong