Under CERN CO current standard compiler
gcc (GCC) 4.1.2 20080704 (Red Hat 4.1.2-52)
a long, 64 bit division is generated even if the divisor is
a power of 2 (sigh). So we need yet another div_u64_rem.