{-# htermination negate :: Float -> Float #-}