pub const OXIDE_INT_MAX: i32 = Int::MAX /* 2_147_483_647i32 */;
Default upper bound used when a finite solver needs bounds for an unbounded integer.