I believe you addressed now how to detect whether a rational has inifinite decimals - yes I got aware there's an algorithm to do this too, (even while it's iterative - would be nice to understand how fast it is, anyhow) neat.
Yeah if anyone has an example implementation of such an algorithm |has-infinite-decimals?| feel free to post :)