Re: [Gretl-devel] small discrepancy after porting to js