[python] writing integer values to a file using out.write()