Slick way to reverse the (binary) digits of a number in Python?,"int('{0:b}'.format(n)[::-1], 2)"