pub extern "C" fn __floatdisf(i: i64) -> f32