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