User blog comment:TOR/MediaWiki Upgrade/@comment-3147293-20120612171615/@comment-3508190-20120612174110

That seems to work only half way. The numbers with the leading zeros are sorted correctly, but they're placed between negative numbers and one...

Here's a good place to toy with the new sorting: metawikipedia:Help:Sorting