... printf("\$x is really %.16e\n", $x);