a type for a number (floating-point)
Declared in <nlohmann/json.hpp>
<nlohmann/json.hpp>
using number_float_t = double;