文字列少数点数表記を IEEE754 倍精度浮動小数点数にエンコードする方法