Math.max(value, ((IntegerValue) other.convertTo(type)).value));
Math.max(value, ((IntegerValue) other.convertTo(type)).value), type);
	public AtomicValue max(AtomicValue other) throws XPathException {		if (Type.subTypeOf(other.getType(), Type.INTEGER))			return new IntegerValue(Math.max(value, ((IntegerValue) other).value));		else			return new IntegerValue(				Math.max(value, ((IntegerValue) other.convertTo(type)).value));	}