Write Integer To File In Python