return new DoubleValue(value / ov);
return new IntegerValue(value / ov, type);
	public ComputableValue div(ComputableValue other) throws XPathException {		if (other instanceof IntegerValue) {			long ov = ((IntegerValue) other).value;			if (ov == 0)				throw new XPathException("division by zero");			return new DoubleValue(value / ov);		} else			return ((ComputableValue) convertTo(other.getType())).div(other);	}