Constant DEBUG_VALUE_FLOAT80

pub const DEBUG_VALUE_FLOAT80: u32 = 7u32;