Improve sorting of file names that include numbers (bug #5359).

This commit improves the handling of leading zeros of numbers in file
names. Previously, the order was not always predictable and was also
often incorrect.