{-# htermination isNegativeZero :: Float -> Bool #-}