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 se

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...).