Oh no, bit in the butt by std::to_string()
Oh no, bit in the butt by std::to_string()

inflector/atomspace,misgeatgit/atomspace,rTreutlein/atomspace,misgeatgit/atomspace,AmeBel/atomspace,rTreutlein/atomspace,AmeBel/atomspace,inflector/atomspace,AmeBel/atomspace,misgeatgit/atomspace,rTreutlein/atomspace,misgeatgit/atomspace,AmeBel/atomspace,inflector/atomspace,inflector/atomspace,misgeatgit/atomspace,rTreutlein/atomspace,rTreutlein/atomspace,inflector/atomspace,AmeBel/atomspace