type="xs:int"