>>737
>printf() にわたるときに倍精度に変換
これってprintf()の仕様？

組み込み系CPUの場合なんかだと倍精度に変換となると大変な変換に
なる場合あると思うけど。