Integer Factoriser for Python