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