fun readLargeInt () = valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn) fun printIntList [] = ignore () | printIntList (h::tl) = (print (Int.toString h); printIntList tl) val () = let val d = readLargeInt () val ans = #digits (Real.toDecimal (Real.fromLargeInt d * 1.08)) in printIntList ans end