You're absolutely right about the possible overflow.
I saw it as well. That's why I added a TODO...