pub extern "C" fn __floattisf(i: i128) -> f32