:: Int -> Integer package:vcr

Convert from an Int.
conversion to Integer