Issue #16674: random.getrandbits() is now 20-40% faster for small integers.