Constant f64_legacy_const_digits 

pub const f64_legacy_const_digits: Symbol;