integer definition