compiler_builtins::float::conv::int_to_float

Function u64_to_f128_bits

Source 
pub fn u64_to_f128_bits(i: u64) -> u128