static double argVal(vDescriptor[] args, int index, double dflt)
static double argVal(vDescriptor[] args, int index)
static double argVal(vDescriptor[] args, int index, double dflt) // optional arg{    if (index >= args.length || args[index] instanceof vNull) {	return dflt;    } else {	return args[index].mkReal().value;    }}