Re: [GiNaC-list] Change precision of numeric