pub(super) fn is_all_zeros(limbs: &[u128]) -> bool