Factorizing a number