The sqrt function for BigFloat is calling mpfr_sqrt from the MPFR library; if MPFR is using a “naive” algorithm, you should file an issue with MPFR, but I’m skeptical of that assertion without evidence.
2 Likes