@chrisalbon I have been discussing rational vs irrational numbers over dinner, so there's that... .