J. A. Bergstra and J. V. Tucker, “The Transrational Numbers as an Abstract Data Type”, Transmath, Dec. 2020.