>>156
＞演算結果が無限大にならないよう計算を回避する話をしているのに、
＞何故それを許容するということになるのか?

その「無限大にならないように計算を回避する」ために微小判定が必要なのではないか？と主張している

＞尤もNaNは無限大を意味するものではないが。

たしかに。
NaN、±∞ を非数値類としてまとめて扱っているとしてくれ