Bergstra, J. A., & Tucker, J. V. (2020). The Transrational Numbers as an Abstract Data Type. Transmathematica. https://doi.org/10.36285/tm.47