On Sun, Jul 03, 2022 at 10:24:34PM +0200, Uwe Brauer wrote:
> >>> "BB" == Bruno Barbier <brubar.cs@gmail.com> writes:
> 
> > Uwe Brauer <oub@mat.ucm.es> writes:
> >> 
> >> I am confused what is 02 supposed to mean?
> 
> > That's a leading 0 digit, that can be ignored.
> 
> >    (string-to-number "02") => 2
> 
> > Alphabetical sorting will see the "0" though and sorts differently.
> 
> But 02 seems to me a wired mathematical notation to say the least. I
> wouldn't use it for sure.

Think bigger: 1024 would sort alphabetically /before/ 22. Do you
really want this?

Cheers
--  
t