sqrt(2)