Use sprintf() to convert float8 to a string during conversion to numeric.

Original code used float8out(), but the resulting exponential notation
 was not handled (e.g. '3E9' was decoded as '3').