sqr(sqrt(2))