Moved prime_factorization