[GiNaC-devel] Question