[GiNaC-list] problem about cl_N output format