Re: Is GiNaC really that dirty?