Re: [GiNaC-devel] Another clifford patch