:: Int -> CInt package:vcr

Convert from an Int.