There is a WIP implementation of square roots in https://github.com/flintlib/antic/pull/51 which apparently needs some more work.
There is a WIP implementation of square roots in flintlib/antic#51 which apparently needs some more work.