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