Continued_fraction_factorization loading ...