Re: [Gretl-devel] Number of digits in export