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.
This document was generated by Bruce Korb on August 21, 2015 using texi2html 1.82.