I can remove them if you'd prefer, but I figure more reminders that we have to be explicit here is better than less. :)  I suppose also that `uint32` is technically even more "correct".