{-# htermination (>=) :: Float -> Float -> Bool #-}