half(i64 ^ f32)
