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