Much faster ID.compareTo