Remove uses of `uint` that are not pointer-related from the `Int` trait

Use `u32` instead.