how remove 00 from 001 and leaving 1?

How can I remove the 00 from 001, leaving 1, etc. The number of songs?
For example
001> 1
012> 12
095> 95, etc.

Three ways of removing leading zeroes:

$num('001',1)

$regexp('001','^0+',,0)

$regexp('001','^0+(.*)',$1,0)

Maybe there are more solutions.

DD.20090207.1314.CET

this works, thx. :slight_smile: