Function with_set_high_word 

fn with_set_high_word(f: f64, hi: u32) -> f64