there's `xs:nonNegativeInteger`..