i32 ^ f64 ^ 1
