:: Int -> Double package:constrained-categories

Convert from an Int.