pub const OXIDE_INT_MAX: i32 = Int::MAX; // 2_147_483_647i32
Upper bound of the default fully-bounded integer domain used by Conjure Oxide.