Solution (source code)

= Solution

The point has positive <real part> and negative <imaginary part>. Its <complex modulus> is $\sqrt{1+3}=2$, and its principal <complex argument> is $-\pi/3$. Hence
$$
\boxed{|z|=2,\qquad\arg z=-\frac\pi3+2\pi k,\quad k\in\mathbb Z.}
$$