>>154
＞ゼロ割り回避の定数0.0は厳密なゼロ。
＞微少判定値εは無意味。

しかし微小判定をしないでそのまま計算するというのは、結果が double なら ±∞とかになるのを許容するわけだよね
すると

＞NaNの扱いは処理系依存。
＞そもそも発生させるべきではない。

の項目との一貫性がなくなるが？