I wonder how feasible it would be to decouple data size from type &amp; overflow semantics, a la this comment:<p><a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=7103347" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=7103347</a>