XQuery Order By Numerically

[jz at uva]

Hi all,

The ORDER BY clause sorts the output alphabetically. However, how do I
sort the output numerically? Is this possible in XQuery?

For example, if the input is = {1, 11, 2, 1234, 4, 123), then the
ORDER BY clause sorts the results as {1, 11, 123, 1234, 2, 4).

How can I sort the results as {1, 2, 4, 11, 123, 1234}?

Thanks!