The type named int

(Display Figure 6.)

Normally, Alice does not support type int:

(although it is supported in other languages such as Java, C++, and C#.)

For example, you cannot declare a variable of type int in Alice.

(The type named int in those other languages is a true integer type with no fractional parts allowed.)