{-# htermination fromInteger :: Num a => Integer -> a #-}