Re: [GiNaC-list] crash in cln when converting numeric to double