7.11.2 integer values

A name can be specified as having an integer value. To do this, you must use the XML-ish format and specify a type attribute for the name:

<name type=integer> 1234 </name>

Boolean, enumeration and set membership types will be added as time allows. type=string is also supported, but also is the default.