Computing the square root of 2