Added Miller-Rabin test