pub const SMI_MIN: i64 = _; // -4_611_686_018_427_387_904i64
SMIs cover [-2^62, 2^62 - 1]; the rest of the i64 range is boxed.
[-2^62, 2^62 - 1]
i64