type int = number;