public int nextInteger() {
		int origIndex = index;
		while (Character.isDigit(peek())) {
			getAndIncrement();
		}
		if (origIndex == index) {
			return string.charAt(index) - '0';
		}
		String s = string.substring(origIndex, index);
		try {
			return Integer.parseInt(s);
		}
		catch (NumberFormatException e) {
			index = origIndex;
			throw e;
		}
	}
Returns the next integer. The radix must be 10 (decimal).
For example, given "...12fred..". If current index is pointing
to the '1', then this value will return 12.
@return the next base-10 integer.
Ghidra/Features/Base/src/main/java/ghidra/app/util/demangler/CharacterIterator.java