Similarly to above, I think these should stay at `uint`