>>459
忘れてた。仮数部が0のときは特別扱いしてくれ。
それから、逆方向はinteger-decode-floatで整数にバラしてから
くっ付ければできるはず。