{-# htermination toInteger :: Int -> Integer #-}