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) {