int(i64) ^ f32
