I don’t need to do anything. You’re welcome not to take my advice. :-)

If you doubt that dynamic languages are using overflow checking in the way that I describe then it’s not because of lack of papers on the subject.