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