arg_double 81 source4/heimdal/lib/roken/getarg.c else if (arg->type == arg_double) arg_double 464 source4/heimdal/lib/roken/getarg.c case arg_double: arg_double 540 source4/heimdal/lib/roken/getarg.c } else if(args[k].type == arg_double) {