[
net.bugs.4bsd
] floating point printf
csc
(12/07/82)
main() { printf("%e\n", 3.0e25);
}
gives 6.910121e+27 -jan