如何定义一个双精度浮点数