[Gretl-users] Digits - rounding problem