$a = fmtnum($a, "%8.3e");
$x = fmtnum($x, "%8.3e");

