{-# htermination toEnum :: Int -> (Ratio Int) #-}