-# div_digits(digits, div, size, res, rem)
-# divides an arbint in digits by uint64 div into res with remainder rem
-# Either res or rem may alias digits
-# digits = rdi, div = rsx, size = rdx, res = rcx, rem = r8
+# div_digits(digits, div, size, res)
+# divides an arbint in digits by uint64 div into res, returns remainder
+# res may alias digits
+# digits = rdi, div = rsx, size = rdx, res = rcx,