:: Int -> Integer package:basic-prelude

Convert from an Int.
conversion to Integer