slick way to reverse the (binary) digits of a number in python?,"int(bin(n)[:1:-1], 2)"