Function max_packed_injective_limbs 

pub fn max_packed_injective_limbs<F: PrimeField32, PF: PrimeField>(
    radix_bits: u32,
) -> usize

Maximum number of PrimeField32 elements packable into PrimeField injectively via reduce_packed with the given radix_bits (base-$2^{radix_bits}$ digits bounded by F::ORDER_U32 - 1).

Returns the largest k such that (F::ORDER_U32 - 1) · ∑_{i=0}^{k-1} (2^{radix\_bits})^i < PF::order().