https://youtu.be/NpAJLWEnSmM?si=EyXC7C5Oo5tEhTt5 Where is this used in practice? Has it been used for "big-int" libs? Division is apparently hard but is that general division or all division?