real square root of (-1/2)