读入一个双精度浮点数，保留12位小数，输出这个浮点数。