// Conversions
public static double REAL_TO_DOUBLE( real n )
{
return n.value;
}
public static float REAL_TO_FLOAT( real n )
{
return (float)n.value;
}
public static Object display_flonum( real n, output_port p )
{
p.write( n.value.ToString() );
return p;
}