Infinite precision intermediate arithmetic: how much would break?

Having this in combination with some implemented-but-unstable const features would effectively give us int<min, max>. That's my holy grail that I eventually want in the compiler, but will settle for deranged if needed.