float(i32) ^ f32
