$* = fmtifnum($*, "%8.3e");
