Use templated constructor for json::value. Makes it easier to port to various platforms.