Re: GiNaC coding standards :-)