Бесконечность и неопределенность

[trilirium]

Я опять о своем. ))) О простейших критериях проверки чисел на бесконечности (+Inf, -Inf) и неопределенность (NaN) для стандартного double в C (и вообще, в IEEE-754).

Собственно, прав ли я, полагая, что:

1) если (n != n), то n может быть только NaN;
2) и eсли (n*0 != 0), то n может быть либо NaN, либо бесконечностью (с любым знаком)?