double-precision double-precision double-precision double-precision type double double-precision doublelength type 倍精度実数型