3 ms·See my comment above.by solomatov 12y agoSee my comment above.llcv 12y agoOk. But if you just introduce an symbol with type NatInd, everything works fine?