pub const DEBUG_VALUE_FLOAT128: u32 = 9u32;