Rationalizing a denominator: Square root of a fraction