pub const f64_legacy_const_digits: Symbol;