- Reuse integer values across local updates, branches, and numeric operations. - Preserve typed-array integer values through reads and writes. - Cover number semantics, evaluation order, and native emission boundaries.