I had not seen that GMP reimplementation before, but it looks very readable. Thanks!
I used the Möller & Granlund paper for a portable implementation of 2-by-1 division [1], and on my machine (which is admittedly not exactly new) it runs much faster than the DIV instruction.