<<When we have an implementation of this sort of division in GCC, clearly it should go in libgcc as a library function. >> That's non-optimal unless you inline, since this is a case where you really want to be able to do extensive scheduling.