Constant RB_UNICODE_GENERAL_CATEGORY_DECIMAL_NUMBER 

pub const RB_UNICODE_GENERAL_CATEGORY_DECIMAL_NUMBER: u32 = 13;