i have rational numbers mostly-implemented in modal.

example:

> (str (mul (Q (+ sixteen ten)) (Q (- sixteen ten))))
...
57 ()-terminated list -64/25

git.phial.org/d6/modal/src/bra

i just can't seem to stop. i think computable real numbers will be possible too.