add Miller-Rabin test