dt_add_128
dt_add_128(product, tmp, product);
dt_add_128(product, tmp, product);
dt_add_128(diff, next_pair, diff);
dt_add_128(next_try, one, next_try);
dt_add_128(result, one, result);