printf  ("%23.16e\n", $a);