type(f32 ^ i64)
