Thu Jul 13 09:47:53 PDT 2000 malcolm * Send big Integers to browser as a special token. As some point, we should send the string corresponding to the entire number, but it isn't clear whether to generate this string in C at browse-time, or to build it into the trace earlier. M ./src/old/runtime/io.c -2 +5