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