J. Anderson, “Transreal Foundation for Floating-Point Arithmetic”, Transmath, Jul. 2023.