Use uint64_t for the sequence number everywhere.

Hopefully, that's it?