type(i64 ^ f32)
