{-# htermination readIO :: String -> IO Float #-}