些か目的がずれてきた。訂正する。
無限大を回避すること自体は目的ではなかった。
真の目的は0で除算すると言う不合理そのものを回避することだった。
ゼロ割りという演算が定義出来ない事態への対応をどうするか?
浮動小数点データで演算が定義できないのは仮数部、指数部すべてのビット列が0の場合に除算を行うこと。
厳密な0を対象としている。
微小判定値はそもそも関係しない話。