浮動小数点数
は、64ビットの浮動小数点数表現である。