This should be xsd:nonNegativeInteger