Function float_to_uint64

pub extern "C" fn float_to_uint64(v: f32) -> u64

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