return new DecimalValue(result);
return new DoubleValue(result);
	public Sequence eval(StaticContext context, DocumentSet docs, Sequence contextSequence, Item contextItem) 	throws XPathException {		if(contextItem != null)			contextSequence = contextItem.toSequence();		double lvalue = 			((DecimalValue)getLeft().eval(context, docs, contextSequence).convertTo(Type.DECIMAL)).getDouble();		double rvalue = 			((DecimalValue)getRight().eval(context, docs, contextSequence).convertTo(Type.DECIMAL)).getDouble();		double result = applyOperator(lvalue, rvalue);		return new DecimalValue(result);	}