public static Object bgl_display_bignum( bignum n, output_port p ) { p.write( n.value.ToString() ); return p; }