type(f32 ^ f64)
