Integer prime factorization