Use typed int for a couple of things