:: Int -> Double package:basic-prelude

Convert from an Int.