Double-check that we normalize away platform-specific weirdness for non-finite float->string

Annoyingly `sprintf()` behavior for non-finite values varies by platform. Anywhere we're currently using `%f` or `%g` might be an issue.