bin_float 設計ノート

BinFloat はこのリポジトリの 2 進優先表現です。

不変条件

• 有限非零値は significand * 2^exponent2
• significand から除去可能な 2 因子は取り除く
• 零は一意な正規形を使う

精度制御

要求精度より多い有効ビットを持つ場合:

1. 余分なビット数を求める
2. 右シフト丸めを行う
3. 再正規化する