Integer->Int in Evaluation Functional