printf("%.6f\n",x);