1BEGIN { print 1E2 "", 12e-2 "", e12 "", 1.23456789 "" }
2