Is it possible to prove that every complex number has a square root using analytic LLPO, but avoiding Weak Countable Choice or Excluded Middle?

As a simpler problem, is it true in Johnstone's Topological Topos?