diff -r 983a3b743085 -r b6350d9f204d stage4/stage4.cc
--- a/stage4/stage4.cc	Mon Jun 11 15:58:44 2012 +0100
+++ b/stage4/stage4.cc	Mon Jun 11 18:48:58 2012 +0100
@@ -163,6 +163,24 @@
   return NULL;
 }
 
+void *stage4out_c::print_int64(int64_t integer) {
+  if (!allow_output) return NULL;
+  *out << integer;
+  return NULL;
+}
+
+void *stage4out_c::print_uint64(uint64_t integer) {
+  if (!allow_output) return NULL;
+  *out << integer;
+  return NULL;
+}
+
+void *stage4out_c::print_real64(real64_t integer) {
+  if (!allow_output) return NULL;
+  *out << integer;
+  return NULL;
+}
+
 void *stage4out_c::printupper(const char *str) {
   if (!allow_output) return NULL;
   for (int i = 0; str[i] != '\0'; i++)