sqrt(0.5)