#175: Error handling for pop_int().