Constant KEY_NAV3_RADIO_FRACT_DEC 

pub const KEY_NAV3_RADIO_FRACT_DEC: u32 = 67458;