[Gretl-devel] visible number of digits