Used to annotate a value that may be either negative or nonnegative, and
indicates that uses of it should check for
negative values before using it in a way that requires the value to be
nonnegative, and check for it being nonnegative before using it in a way that
requires it to be negative.