xs:int