sqr(2)