Merge pull request #2690 from steffen-kiess/json-operator-uint