Re: [GHC] #13634: num009 fails on POWER8