datatypes/int/sc_nbutils.cpp

1043      R0_l' = low_half(prod_l)
1045      R0_h' = low_half(prod_h)
1047      R0 = high_half(prod_h)|low_half(prod_l)
1056      NOTE: low_half(u) returns the lower BITS_PER_HALF_DIGIT of u,
1075     sc_digit u_l = low_half(u_h); // B
1092       sc_digit v_l = low_half(v_h);  // D
1101       sc_digit prod_l = (*w) + u_l * v_l + low_half(carry);
1105       (*w++) = concat(low_half(prod_h), low_half(prod_l));
1147     sc_digit prod_l = v * low_half(u_AB) + low_half(carry);
1151     (*w++) = concat(low_half(prod_h), low_half(prod_l));
1185     sc_digit prod_l = v * low_half(u[i]) + low_half(carry);
1189     u[i] = concat(low_half(prod_h), low_half(prod_l));
1405     num = concat((num % v), low_half(u_AB)); // num = (((r|A) % v)|B)
1572     r = (concat(((concat(r, high_half(u_AB))) % v), low_half(u_AB))) % v;
1607     num = concat((num % v), low_half(u_AB)); // num = (((r|A) % v)|B)