Thanks Jay, I know that, and I use that to go from old ids to new ids.
But it would be more practical to simply use the same number and avoid that de-referencing. I am doing parts of my import with SQL and it complicates queries.
Also, the permalinks table can get quite huge. A regexp redirect is better, and easy if the id is constant.