pub const TYPE_INT4RANGE_ARRAY_OID: u32 = 3905; // 3_905u32