:: Int -> Double package:protolude

Convert from an Int.