{-# htermination fromIntegral :: Int -> Int #-}