[Gretl-users] Re: Digits - rounding problem