main = print (succ (1.0e20))