number typedef

number = int

Implementation

typedef number = int;