reg016.idr

module Main

main : IO ()
main = do printLn $ the Integer 429496729500000000000000
--           printLn $ the Integer 4294967296
--           printLn $ the Integer 4294967297
--           printLn $ the Int 4294967295
--           printLn $ the Int 4294967296
--           printLn $ the Int 4294967297