negate package:numeric-prelude

inverse with respect to +