(format t"~d
~:*~d"(1-(expt 10 8000)))