Int vs Integer

[odanoburu]

reading the docs I found the following:

The type name Integer replaces in GF 3.0 the name Int, to avoid confusion with the abstract syntax type and to be analogous with the Str vs. String distinction.

so we seem to have moved from Int to Integer, but throughout the documentation (1 2 3) I find different references as to whether the correct type for integers is Int or Integer, and in the source code I looked at (e.g., /lib/src/prelude/Predef.gf) the type seems to be Int still.

I must have missed something, so I wanted to ask what is the correct type after all!