Integer typedef

Integer = int

Implementation

typedef Integer = int;