Anderson, J. “Transreal Foundation for Floating-Point Arithmetic”. Transmathematica, July 2023, doi:10.36285/tm.91.