8.1 Extended metrics June 9, 2026 by jlamprecht https://en.wikipedia.org/wiki/Metric_space#Extended_metrics
