doubleは普通64bitだけど、FPUのレジスタに乗っている間だけ80bitになり、
メモリ上に戻すと元の精度に戻るらしい。
>>534の挙動の違いはレジスタへの上げ下ろしのタイミングの違いじゃないかな。