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