Remove unnecessary call to int() around integer constant.