An infinite precision square root function