pub const f64_runtime: Symbol;