(dotimes'100(format #t"0.~1000,'0d "0))