Re: [GiNaC-list] problem about cl_N output format