use reals as semantic domain for real expressions

Previously we used integers as a placeholder for reals.
extraction of Coq reals to Haskell Double