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