:: Int -> Double package:mixed-types-num

Convert from an Int.