defines an attribute value which can be either any non-negative integer or the string "unbounded".