Constant HB_UNICODE_GENERAL_CATEGORY_DECIMAL_NUMBER 

pub const HB_UNICODE_GENERAL_CATEGORY_DECIMAL_NUMBER: u32 = 13;