Correct type and variable reference for integers