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