Why use `u32` and `u64` in examples instead of `uint`? This doesn't seem like a best practice to me.