On 2025-08-04 @prestwich wrote in 25e81ad “Merge pull request #506 from DaniPopes/release-1.16.0”:
dani): check if this is worth special casing over just using
div_rem_double_bits
}
}
#[inline(never)]
fn div_rem_bits_plus_one(numerator: *mut u64, modulus: &mut Self) {
// TODO(dani): check if this is worth special casing over just using
// div_rem_double_bits
let numerator = unsafe { core::slice::from_raw_parts_mut(numerator, LIMBS + 1) };
algorithms::div::div_inlined(numerator, &mut modulus.limbs);
}
/// Compute $\mod{\mathtt{self} ⋅ \mathtt{rhs}}_{\mathtt{modulus}}$.
From src/modular.rs:75