Constant PDF_PAGE_LABEL_DECIMAL 

pub const PDF_PAGE_LABEL_DECIMAL: pdf_page_label_style = 68;