binary to decimal works in python 3.3.2