>>> "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.