use 64bit integers instead 32bit for both the ballot and the seq numbers