use correct int type