[net.bugs.4bsd] floating point printf

csc (12/07/82)

main() {
	printf("%e\n", 3.0e25);
}

gives

6.910121e+27

-jan