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