Adds more comments to describe how some variables are bounded by Integer.MAX_VALUE