Use printf instead of sprintf for exporting to STL

In theory this speeds things up by avoiding allocation. In practice, grisu is the bottleneck, at least on 0.4. I will comment further on #25, but this should be an improvement regardless.