pub const DEBUG_VALUE_FLOAT64: u32 = 6u32;