{-# htermination read :: String -> Float #-}