Op_f64_convert_u_i32