Num instance defined only (+).
Avoids the warning on missing negate/(-).
negate
(-)
Closes #947 (closed)