int-> INT_TYPE and float-> FLOAT_TYPE for (I hope) all get_all_args calls. Rev: src/builtin_functions.c:1.295 Rev: src/encode.c:1.64 Rev: src/error.c:1.57 Rev: src/modules/Gettext/gettext.c:1.5 Rev: src/modules/Gmp/mpz_glue.c:1.81 Rev: src/modules/HTTPLoop/accept_and_parse.c:1.16 Rev: src/modules/HTTPLoop/requestobject.c:1.12 Rev: src/modules/Image/blit.c:1.45 Rev: src/modules/Image/colors.c:1.35 Rev: src/modules/Image/colortable.c:1.86 Rev: src/modules/Image/encodings/_xpm.c:1.14 Rev: src/modules/Image/encodings/psd.c:1.21 Rev: src/modules/Image/encodings/xcf.c:1.19 Rev: src/modules/Image/font.c:1.61 Rev: src/modules/Image/image.c:1.173 Rev: src/modules/Image/layers.c:1.53 Rev: src/modules/Math/math_matrix.c:1.16 Rev: src/modules/SANE/sane.c:1.7 Rev: src/modules/_Crypto/nt.c:1.6 Rev: src/modules/_Crypto/rsa.c:1.23 Rev: src/modules/_Image_JPEG/image_jpeg.c:1.32 Rev: src/modules/files/termios.c:1.9 Rev: src/modules/spider/spider.c:1.97 Rev: src/modules/system/nt.c:1.21 Rev: src/modules/system/passwords.c:1.30 Rev: src/modules/system/syslog.c:1.9 Rev: src/modules/system/system.c:1.86 Rev: src/opcodes.c:1.82 Rev: src/operators.c:1.97 Rev: src/post_modules/GTK/build_pgtk.pike:1.32 Rev: src/post_modules/GTK/source/gdkatom.pre:1.6 Rev: src/post_modules/GTK/source/gdkbitmap.pre:1.7 Rev: src/post_modules/GTK/source/gdkcolor.pre:1.6 Rev: src/post_modules/GTK/source/gdkdragcontext.pre:1.6 Rev: src/post_modules/GTK/source/gdkdrawable.pre:1.6 Rev: src/post_modules/GTK/source/gdkgc.pre:1.6 Rev: src/post_modules/GTK/source/gdkimage.pre:1.7 Rev: src/post_modules/GTK/source/gdkrectangle.pre:1.6 Rev: src/post_modules/GTK/source/gdkregion.pre:1.6 Rev: src/post_modules/GTK/source/gdkwindow.pre:1.10 Rev: src/post_modules/GTK/source/global.pre:1.13 Rev: src/post_modules/GTK/source/gnomeapp.pre:1.6 Rev: src/post_modules/GTK/source/gnomecanvas.pre:1.3 Rev: src/post_modules/GTK/source/gnomecanvasgroup.pre:1.4 Rev: src/post_modules/GTK/source/gnomeiconlist.pre:1.4 Rev: src/post_modules/GTK/source/gtkaccelgroup.pre:1.5 Rev: src/post_modules/GTK/source/gtkadjustment.pre:1.5 Rev: src/post_modules/GTK/source/gtkcalendar.pre:1.3 Rev: src/post_modules/GTK/source/gtkclist.pre:1.6 Rev: src/post_modules/GTK/source/gtkctree.pre:1.5 Rev: src/post_modules/GTK/source/gtkcurve.pre:1.5 Rev: src/post_modules/GTK/source/gtkdrawingarea.pre:1.3 Rev: src/post_modules/GTK/source/gtklist.pre:1.5 Rev: src/post_modules/GTK/source/gtkmenu.pre:1.3 Rev: src/post_modules/GTK/source/gtkobject.pre:1.4 Rev: src/post_modules/GTK/source/gtkwidget.pre:1.7 Rev: src/post_modules/GTK/source/support.c:1.16 Rev: src/program.c:1.254 Rev: src/signal_handler.c:1.174 Rev: src/threads.c:1.134