RE: Irrational numbers