Constant f64_legacy_const_min_positive 

pub const f64_legacy_const_min_positive: Symbol;