reading in integer from stdin in python,bin('10')