Lil' note in miller_rabin().