Use 64 bits counter to ensure monotonically increasing and uniqueness of sequence node name

With 32 bits counter, the sequence number used for sequential node name is not monotonically increase and unique any more after overflow.

To fix the issue, we would want to use 64 bits counter.