Anderson, J. (2023). Transreal Foundation for Floating-Point Arithmetic. Transmathematica. https://doi.org/10.36285/tm.91