pub extern "C" fn int_to_double(v: i32) -> f64
Converts a signed integer to the nearest double value, rounding to even on tie