[Gretl-devel] Re: Datatype of Int or Float in gretl