default boolean maxIsFinite() {
		return !max().equals(domain().max());
	}
Check if the upper endpoint excludes the domain maximum

@return true if max is not the domain max
Ghidra/Framework/Emulation/src/main/java/generic/Span.java