num = new Double(Double.NaN);
num = new Double(Double.POSITIVE_INFINITY);
    private final Double numericValue(int level) {	// Get value from our vector if possible	if (_scanned <= level) {	    // Get value from DOM if accessed for the first time	    final String str = extractValueFromDOM(_dom, _node, level,						   _translet, _last);	    Double num;	    try {		num = new Double(str);	    }	    // Treat number as NaN if it cannot be parsed as a double	    catch (NumberFormatException e) {		num = new Double(Double.NaN);	    }	    _values[_scanned++] = num;	    return(num);	}	return((Double)_values[level]);    }