Specifies a quantity as a non-negative number, which condition is enforced through a data rule that only applies to the extending class.