Function compiler_builtins::float::add::__adddf3

pub extern "C" fn __adddf3(a: f64, b: f64) -> f64