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