Square root of 2