Re: [GiNaC-devel] Is this a bug?