Also the "identity"
\arg\left(\frac z w\right) = \arg z - \arg w
isn't actually true because \arg z - \arg w isn't guaranteed to be in the range [\pi, \, -\pi) .
If \arg z - \arg w was instead expressed as the principal value for that angle then I believe it would be true.
So...