:: Int -> Integer package:integer-types