NUMBER            170 source/dynamicHDR10/json11/json11.cpp class JsonDouble final : public Value<Json::NUMBER, double> {
NUMBER            179 source/dynamicHDR10/json11/json11.cpp class JsonInt final : public Value<Json::NUMBER, int> {
NUMBER            130 source/dynamicHDR10/json11/json11.h     bool is_number() const { return type() == NUMBER; }