On 03/26/2018 10:52 AM, Stefan Monnier wrote:
> I think TRT is for the byte-compiler to refrain from performing this
> optimization when the result doesn't fit within 30bits.

Yes, this seems like the right way to go for Emacs, since we value 
reproducibility and safety over performance for numeric computation. I 
installed the attached patch into master, to try to do that.