[cvs-nhc98] patch applied (hat): Send big Integers to browser as a special token. As some point, we

[Malcolm Wallace]

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