Juraj Sukop <juraj.su...@gmail.com> added the comment:
The rounding down of `l` might compute more than half of the bits so that the final Heron' step in `isqrt_2` might correct the uncertain low bit if `a - (a*a > n)` is missing from `isqrt`. As it currently stands, `a - (a*a > n)` is computed both in `isqrt` and `isqrt_2`. So I was thinking that maybe the former might be dropped. Are you saying that both correction are need? ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue43053> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com