type(1 ^ f32)
