Integer_factorization loading ...