Is 17/23 an irrational number?