Integer definition edited