PyGTK Integer factorizer