Individual positive integer value (32 bits, signed).
<xsd:element name="PositiveInt" type="PositiveIntType"></xsd:element>