constant_time_lt_32
return constant_time_select_32(constant_time_lt_32(x, ML_DSA_Q), x, x - ML_DSA_Q);
return constant_time_select_32(constant_time_lt_32(x, 0x80000000), x, 0u - x);
return constant_time_select_32(constant_time_lt_32(ML_DSA_Q_MINUS1_DIV2, x),
quotient += 1 & constant_time_lt_32(kHalfPrime, remainder);
quotient += 1 & constant_time_lt_32(kPrime + kHalfPrime, remainder);
static ossl_inline uint32_t constant_time_lt_32(uint32_t a, uint32_t b);