fix emitting of doubles with lots of digits