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