negate package:integer-types