Cleaning up miller_rabin.c, although it didn't need it much.