Integer to Int in Within