:: Int -> Integer package:basement

Convert from an Int.