val _ = print (Bool.toString ((1: IntInf.int) < 2))
val _ = print (IntInf.toString (IntInf.quot (1234567890, 100000)))
val _ = print "\n"