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

