/Prelude-v16.0.0/Integer/toDouble

Copy path to clipboard

Examples

toDouble -3 ≡ -3.0
toDouble +2 ≡ 2.0

Source

{-
Convert an `Integer` to the corresponding `Double`
-}
let toDouble
: Integer → Double
= Integer/toDouble

let example0 = assert : toDouble -3 ≡ -3.0

let example1 = assert : toDouble +2 ≡ 2.0

in toDouble