Oh, that's interesting. Thanks.

And I wasn't suggesting using unsigned 32-bit integers now, I was curious why they weren't used before (the number of views seems to be a nonnegative quantity...).