Re: [GiNaC-devel] patch for numeric.cpp