Why is that? either the sequence number is 64-bit or it's not. Printing doesn't make any difference.