private String getNumberString() throws MDException {
		char ch;
		StringBuilder builder = new StringBuilder();
		dmang.parseInfoPush(0, "Number");
		while ((ch = dmang.peek()) != '@') {
			if (!Character.isDigit(ch)) { // includes end of string (MDMang.DONE)
				throw new MDException("Illegal character in Number: " + ch);
			}
			builder.append(ch);
			dmang.next();
		}
		dmang.next(); // '@'
		dmang.parseInfoPop();
		return builder.toString();
	}
Get Number (it is output as Number << '@' where Number is an unsigned int, so we are
 capturing it as a string of digits, terminated with an '@' character.
 Built for what seems to be LLVM-specific mangling.  Does not follow MSFT model.
@return a the Number represented by a String (decimal).
@throws MDException Upon invalid character sequence or out of characters.
Ghidra/Features/MicrosoftDmang/src/main/java/mdemangler/naming/MDSpecialName.java