คุณสมบัติของโปรแกรม · รากที่สองจำนวนเต็มอย่างแม่นยำ

def integer_root(n):
    if type(n) is not int or n < 0:
        raise ValueError("root.input")
    lo, hi = 0, 1 << ((n.bit_length() + 1) // 2)
    while lo < hi:
        mid = (lo + hi + 1) // 2
        if mid * mid <= n:
            lo = mid
        else:
            hi = mid - 1
    return lo