Add miller_rabin_random