| "It is definitely more "natural" to ignore leading zeros." Unless you are sorting US ZIP codes, for example.