Walter Bright:
systems/native programming languages must not hide the underlying representation (I make similar arguments about proposals to make ints issue errors on overflow, etc.).
But it's good to have in Phobos a compiler-intrinsics-based efficient overflow detection on a user-defined struct type that behaves like built-in ints in all other aspects.
Is there any hope of fixing this?
I don't think we can change that in D2. You can change it in D3. Bye, bearophile