add comments about the divide-by-multiply precision

+ use the no-leading-1-bit trick
+ add exhaustive test (and debug!)