Use more efficient float-string conversion which appears not to segfault?