added a new test: test_operatorGtUint64Int().