Use dtoa()
for optimal encoding of reals
#680
Merged
dtoa()
for optimal encoding of reals
#680