Create miller_rabin