printf "%.16e\n", $x;