Update miller_rabin.erl