Uint256 addChecked(Uint256 other) { final r = this + other; if (r < this) throw IntegerError.overflow; return r; }