Bergstra, J. A.; Tucker, J. V. The Transrational Numbers As an Abstract Data Type. Transmath 2020.