pub const f32_legacy_const_digits: Symbol;