[Gretl-users] Re: how to avoid "useless" 0 after the decimal