(f32 + i64) ** i32
