Re: [GHC] #9530: min / max do not always return the other argument when one of the arguments is NaN (was: min / max do not always return a NaN when one of the arguments is NaN)