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