Re: [GHC] #15062: num009 is incredibly platform-sensitive