mType = type;  if (type == STRING) mStringValue = s; else mVarname = s;   mNumericValue = Double.NaN;
mType = NUMERIC; mNumericValue = d;
	public Argument(int type, String s)	{		mType = type;		if (type == STRING)			mStringValue = s;		else			mVarname = s;		/*		 * We don't know the numeric value of this argument.		 */		mNumericValue = Double.NaN;	}