Extraction Failure Measure
One number a failure record carries, together with what it counts.
Pairing them in a type is the point: there is no way to record 4096 without saying it is tokens, and no way to say "tokens" without a number.
EXPERIMENTAL. The shape may still change while extraction runs (DICE #67) land.