return new DoubleValue(value % ov);
return new IntegerValue(value % ov, type);
	public NumericValue mod(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 ((NumericValue) convertTo(other.getType())).mod(other);	}