Add a section on div-by-mul in the internals manual.

Also update the chapter numbers in some of the comments.