Bergstra JA, Tucker JV. The Transrational Numbers as an Abstract Data Type. Transmath [Internet]. 2020Dec.16 [cited 2024Apr.24];. Available from: https://transmathematica.org/index.php/journal/article/view/47