Implement factor base generation.
Correct factor_base_length result from generate_factor_base(...)