Comment by weberc2

Relatedly, I found this out the hard way yesterday evening: https://stackoverflow.com/questions/66631251/overflow-evalua...