Extension to the <$rst> token

Another post got me thinking about token numbering, and I realised that there might be situations where starting the number at a specified value, instead of 1, might be desirable. I was thinking something like <$rst> would stay the way it currently works, but <$rst:38> would start the counter at 38.

great idea!

Maria