Hide char* to string conversion behind JsonWriter API
Add a Boost math utility header