I mean this is covered in the article, right? Its possible until you do division or some other operation where the value needs to be promoted for language corr

I mean this is covered in the article, right? Its possible until you do division or some other operation where the value needs to be promoted for language correctness. At that point the programmer must constrain the result to assure it stays in an integer. In theory I guess one could be more selective about the |0 and apply it only after operations where the hint is needed.