Yes, use int. It's probably not as evident, but that's what documentation is used for.