How to convert a string representing a binary fraction to a number in Python,"return int(s[1:], 2) / 2.0 ** (len(s) - 1)"