make integer checks explicit