{
      BigInteger resultPositiveIntegerValue = XMLTypeFactory.eINSTANCE.createPositiveInteger(positiveInteger.popValue());
      this.positiveInteger = positiveInteger;
      return resultPositiveIntegerValue;
    }