Datatype:^xsd:negativeInteger