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