return new DoubleValue(value / ov);
return new IntegerValue(value / ov, type);
	public NumericValue idiv(NumericValue other) throws XPathException {		if (Type.subTypeOf(other.getType(), Type.INTEGER)) {			long ov = ((IntegerValue) other).value;			if (ov == 0)				throw new XPathException("division by zero");			return new DoubleValue(value / ov);		} else			return ((IntegerValue) convertTo(Type.INTEGER)).idiv(other);	}