Extra practice: Irrational numbers