64-bit cleanliness: we were already carefully using a uint32 type in