History of irrational numbers