[GiNaC-devel] Patch 8