{-# htermination toRational :: Float -> Rational #-}