dhall-1.27.0: dhall-lang/Prelude/Integer/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