Re: [GiNaC-devel] Clifford update