diff --git a/src/module_support.c b/src/module_support.c
index eaac11e20cb2bd9ec49d9f9003c70183bb90e26d..3e2820ac370bd7132cf7622f26bc83619625c7e6 100644
--- a/src/module_support.c
+++ b/src/module_support.c
@@ -6,7 +6,7 @@
 #include "pike_types.h"
 #include "error.h"
 
-RCSID("$Id: module_support.c,v 1.18 1999/01/24 17:30:38 mirar Exp $");
+RCSID("$Id: module_support.c,v 1.19 1999/01/25 23:34:43 mirar Exp $");
 
 /* Checks that args_to_check arguments are OK.
  * Returns 1 if everything worked ok, zero otherwise.
@@ -246,6 +246,7 @@ void get_all_args(char *fname, INT32 args, char *format,  ... )
     case 'W': expected_type = "string"; break;
     case 'a': expected_type = "array"; break;
     case 'f': expected_type = "float"; break;
+    case 'F': expected_type = "float|int"; break;
     case 'm': expected_type = "mapping"; break;
     case 'M': expected_type = "multiset"; break;
     case 'o': expected_type = "object"; break;