Do (expt x k/2) carefully for complex x, add unit tests.

(expt x 1/2) should always be the same as (sqrt x).  Make it so.  Do (expt x k/2) correctly when the answer is complex exact.