pub const TYPE_INT4RANGE_OID: u32 = 3904; // 3_904u32