NUM_LEADING_ZEROS
cnt -= NUM_LEADING_ZEROS;
if (cnt >= NUM_LEADING_ZEROS)
res_ptr[N - 1] = res_ptr[0] << (cnt - NUM_LEADING_ZEROS);
res_ptr[N - 1] = res_ptr[0] >> (NUM_LEADING_ZEROS - cnt);
res_ptr[0] <<= BITS_PER_MP_LIMB - (NUM_LEADING_ZEROS - cnt);
- (BITS_PER_MP_LIMB - NUM_LEADING_ZEROS) - cnt;