``` //<int, double> doesn't work std::map<int, double> map_input3 = {{1, 2.0}}; json json_map3(map_input3); std::map<int, double> map_output3 = json_map3; ``` tested on Ubuntu18, compiler is g++, version 3.1.2 as previously discussed in https://github.com/nlohmann/json/issues/600