Re: [GiNaC-list] Bug in numer_denom?