Re: [GHC] #4914: FPU initialization required again