int Array.oid_sort_func(string a0, string b0)
Sort with care of numerical sort for OID values: "1.2.1" before "1.11.1"
sort_array