MkInt$

Since 3.1

This is a shortcut for MkInteger$.