Revert default Int behavior to not promote