We do this with an out-of-line assembler function, __div64_32,
for the case when the high word of the dividend is non-zero.