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