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