Constant OXIDE_INT_MIN 

pub const OXIDE_INT_MIN: i32 = _ /* -2_147_483_647i32 */;

Default lower bound used when a finite solver needs bounds for an unbounded integer.

One greater than i32::MIN so the magnitude of OXIDE_INT_MIN is representable as a positive i32.