RFC on floating point output work

[Gabriel Dos Reis]

Paolo Carlini <pcarlini@unitus.it> writes:

| Yes, I contacted Jerry back in July and discussed a bit the various
| options (i.e., snprintfv by Paolo Bonzini). Then Jerry proceeded alone

maybe it is because I don't know all the details but I'm very concerned
about basing C++ I/O on printf-like instructure where, the underlying
machinery would have to reparse format-specifiers in order to recover
a type that was already there, plus other redundant/slowing checks.

-- Gaby