Added prime_factorization