Portal:Babylonian computation of the square root of 2