Uint128 subChecked(Uint128 other) { if (other > this) throw IntegerError.overflow; return this - other; }