@Override
		public String toString() {
			return "[" + min + ".." + max + "]";
		}
A closed interval on doubles

<p>
This can only be a record of the endpoints. It does not have a domain implementation.
Ghidra/Debug/ProposedUtils/src/main/java/docking/widgets/table/SpannedRenderer.java