Using xsd:integer for xkos:depth