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