Remove uneeded uses of uint32_t.