M:tG should have an additional quantity called ω-damage where, if you demonstrate a loop capable of producing arbitrarily much damage, you can opt instead to produce a single ω-damage (which is required to kill creatures with ω-toughness), and so on thru the transfinite ordinal numbers.