xs:integer

used by 3: