Re: [GiNaC-list] Serialization of datatypes