javadouble運算精度?