:: Int -> CInt package:constrained-categories

Convert from an Int.