revive double-conversion ; performance boost (with some glitch with libstdc++ when installing)