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