:: Int -> Double package:termonad

Convert from an Int.