public static Object bgl_write_bignum( bignum n, output_port p ) { p.write( (byte)'#' ); p.write( (byte)'z' ); p.write( n.value.ToString() ); return p; }