This is crazy: converting a single double to the shortest decimal string is less than 4ns on Apple M5