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