Another Integer to int conversion