Re: [GiNaC-devel] bug fix for inifcns_nstdsums.cpp