Int@

This is a shortcut for Integer@.