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