Create IntInBinary.py