Function pf_packed_limbs_cover_order 

pub fn pf_packed_limbs_cover_order<SF: PrimeField>(
    num_limbs: usize,
    radix_bits: u32,
) -> bool

Returns true iff every integer in [0, SF::order()) fits in num_limbs little-endian base-2^radix_bits digits without truncation, i.e. 2^{num_limbs · radix_bits} ≥ SF::order().