Square roots and rationalizing denominators