[GiNaC-list] No get_name() method of GiNaC::constant?

GiNaC::constant has a private string attribute called `name`. This is what is output when doing stream io. Is there a reason this class doesn't have a public get_name() method, so that code that generates code for another language can get the name instead of having to use, for example, stringstream? Warren