Type checking for integers