Re: [GiNaC-list] how to convert CLN __float128 and long double?