public static double rgc_buffer_flonum( input_port p ) { return Double.Parse( newstring( c_substring( p.buffer, p.matchstart, p.matchstop ) ) ); }