Irrational numbers and surds