Square roots of 2