@Override
	public void insert(StringBuilder builder) {
		dmang.insertSpacedString(builder, value.toString());
	}
This class represents an encoded number (following wiki page naming convention for
Microsoft Demangler) within a Microsoft mangled symbol.
Ghidra/Features/MicrosoftDmang/src/main/java/mdemangler/MDEncodedNumber.java