Faster double-to-string conversion