Function double_to_uint64

pub extern "C" fn double_to_uint64(v: f64) -> u64

Converts an f64 to an unsigned 64-bit integer, rounding towards -Infinity, and clamping the result to lie within the range 0x0000000000000000 to 0xFFFFFFFFFFFFFFFF