What do rational/irrational mean, quantitatively speaking? Before we even write the algorithm, we've got to come up with a formal definition and I can't even begin to think about how you would do that.