public string AsString()
{
if (this.name != null)
return string.Format("<primitive: '{0}' module: '{1}'>", this.name, this.module);
else
return string.Format("<primitive: {0}>", this.number);
}