Update tobinary.py