In rand_cleanup_int(), don't go creating a default method