Explicitly casting pop and integer to int