i have rational numbers mostly-implemented in modal.
example:
> (str (mul (Q (+ sixteen ten)) (Q (- sixteen ten))))
...
57 ()-terminated list -64/25
https://git.phial.org/d6/modal/src/branch/d6/binary/arith.modal#L378
i just can't seem to stop. i think computable real numbers will be possible too.