[GiNaC-devel] A patch to Clifford