[GiNaC-list] Re: Behaviour of evalf()