Github user svanteschubert commented on the issue:
https://github.com/apache/tinkerpop/pull/892
Exactly, in case of normalization of GraphML output use the existing string
sort heuristic as a fallback and test the keys for Integer and cast them.
Perhaps the goal to allow natural sorting for integer can be implemented
more efficiently, but that's what I desire - keeping the natural order of keys
consisting only of integers.---
