[Gretl-users] Supremum (sup) of a time series