{-# htermination readLn :: IO Float #-}