Additional predictions IntToStr

IntToStr didn't predict this.