To je pravda, ale explicitní testy na NaN nejsou IMHO (pokud mě něco neuniklo) prakticky nikdy zapotřebí, když se nastaví příslušný bit ve Flag a Cause. Podle mě bude stačit, že je zaručeno, jak operace s NaN dopadnou (včetně porovnání, tam na pořadí nezáleží, protože vlastně NaN != NaN).
Je fakt, že jediný příznakový bit nemůže vracet "unordered", jak to umí 80x87 (ta má hned tři flagy).