:: Int -> Integer package:constrained-categories

Convert from an Int.
conversion to Integer