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