Re: [GiNaC-devel] chinese_remainder() bug versus x86_64 (Was: Univariate GCD benchmark)