python random扩展随机数函数getrandbits(k)