IEEE 754 floating-point “double format” ビットレイアウトがどうなっているかを表示するプログラムを作成してみた。
符号部は正の数だと0で負の数だと1が入り、指数部に入っている値には1023が加算されているようだ。仮数部には小数部分が2進数で入っているので1を加算しないといけないようだ。とりあえず、1E1の値を知りたかったので、それと10の内部表現が一致していたことだけは確認したが、その他の事項についてはまだ未確認な点が多い。1.0, 2.0, 4.0, 0.5, 0.25あたりを試すと良さそうだ。指数部の値によって正規化数か非正規化数かが決まって、計算が変わるらしいことまではわかったが、眠くなったので詳細はまだみていない。なんとなく正規化数については対応できていそうだが非正規化数は駄目そう。まだまだつめが甘そうだ。
と思いながらJavaFAQを見ると、浮動小数の表記方法を示す IEEE754 とは何ですか？という質問と答が、ずばり載っていた。…素晴らしいですJavaFAQ… でも指数部で1023を引いていないバグと非正規化数の考慮がされていないのを発見。指摘しておくのがいいのだろうけど、活動停止しているからどうしよう…とりあえずMLには投稿しておいた。