Added notes about what was changed in REXPInteger