DItype __divdi3(DItype u, DItype v);
__divdi3() divides two DItypes(unsigned ints).
__divdi3 is not in the source standard; it is only in the binary standard.