@NotNull
  @Override
  public XPathType getType() {
    return XPath2SequenceType.create(XPath2Type.INTEGER, XPath2SequenceType.Cardinality.ZERO_OR_MORE);
  }
@NotNull
  @Override
  public XPathType getType()