code: protected double getDoubleValue() throws LazyException{
  		double d=0.0;
  		String str=getStringValue();
  		try{
  			d=Double.parseDouble(str);
  		}catch(NumberFormatException nfe){
  			// This basically can't happen since we already validate the numeric format when parsing
  			// throw new LazyException("'"+str+"' is not a valid double",startIndex);
  		}
  		return d;
  	}
docs: Parses the characters of this token and attempts to construct a double
  value from them.
  
  @return the double value if it could be parsed
  @throws LazyException if the value could not be parsed