Convert from Integer to Int

Convert index and value types to Int from Integer.