module Data.Real(module Data.Real) where import Prelude() -- do not import Prelude import Primitives import Data.Fractional import Data.Num import Data.Ratio_Type class Num a => Real a where toRational :: a -> Rational realToFrac :: forall a b . (Real a, Fractional b) => a -> b realToFrac a = fromRational (toRational a)