Github user spmallette commented on the issue:
https://github.com/apache/tinkerpop/pull/892
I'm sorry but I'm not following what you're proposing for the id sorting.
Just to be clear, are you saying you want to convert to integer if the id is
integer and sort on that otherwise, use the string representation of the id for
sorting?---
