return ((NumericValue) convertTo(other.getType())).mod(other);
return mod((NumericValue) other.convertTo(getType()));
	public NumericValue mod(NumericValue other) throws XPathException {		if (Type.subTypeOf(other.getType(), Type.DOUBLE))			return new DoubleValue(value % ((DoubleValue) other).value);		else			return ((NumericValue) convertTo(other.getType())).mod(other);	}