site:math.libretexts.org rational vs real numbers - Search