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