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