Times-two faster than bit-shift, for Python 3.x integers? Times-two faster than bit-shift, for Python 3.x integers? python python