Ported Miller-Rabin source to Factorize. and some works on Factorize