Re: [GiNaC-list] simple patch for Li_evalf