int Array.dwim_sort_func(string a, string b)
Sort without respect to number formatting (most notably leading zeroes).
Extracted from Pike v7.3 release 11 at 2001-11-03.