int64 encoding