You can use int type here: IDEO_SOURCE_PORT = 8777. format() will do the conversion.