Copy of the previous counter values must also use 64-bit values like the counter values does