[[ Bug 13664 ]] Interpret numeric initial segment of string as sort key for numeric sort