toDouble

{-
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