Re: master 71783e9: Add the string-numeric-lessp function

[Richard Stallman]

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > Skipping zeroes will make strings that differ only in the number of
  > leading zeros (e.g. 001 and 01) equivalent under that sorting order.
  > Are you okay with that?

001 and 01 should both sort between 0 and 2, but they should not be
equivalent.  They should have some defined order.

I think that 01 should be less than 001, but I don't insist.

-- 
Dr Richard Stallman
President, Free Software Foundation (gnu.org, fsf.org)
Internet Hall-of-Famer (internethalloffame.org)
Skype: No way! See stallman.org/skype.html.