Your whole comment can just be TL;DR Forth and the fixed point philosophy :) Rationals > irrationals on computing them. You can always approximate irrationals

Your whole comment can just be TL;DR Forth and the fixed point philosophy :) Rationals > irrationals on computing them. You can always approximate irrationals with rationals, even Scheme (Lisp, do'h) has a function to convert a rational to decimal and the reverse. decimal to rational.