class  (Num a, Ord a) => Real a  where
    toRational       ::  a -> Rational

instance Real Int where
  
 ...

instance Real Integer where
  
...

instance Real Float where
  
...

instance Real Double where
  
...