Constant Z_UTIL_DEC_725 

pub const Z_UTIL_DEC_725: u32 = 724; // 724u32