Integer Semantics RFC changes