xsd:nonNegativeInteger