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