uint64_t __uint64_div(uint64_t dividend, uint64_t divisor);
__uint64_div divides dividend by divisor and returns the unsigned quotient, truncated towards zero, as the result.