MkInt$
Since 3.1
This is a shortcut for
MkInteger$
.