added a new numcmp for numerical comparators. the hash will hardly be used most likely