idris-0.9.10: test/reg016/reg016.idr

module Main

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