[GiNaC-devel] Clifford patch from May 25th