{-# htermination fromInteger :: Integer -> (Ratio Int) #-}