return ((DoubleValue)convertTo(Type.DECIMAL)).getValue();
return ((DoubleValue)convertTo(Type.DOUBLE)).getValue();
	public double getDouble() throws XPathException {		return ((DoubleValue)convertTo(Type.DECIMAL)).getValue();	}