GiNaC 1.2 CVS branch