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