Bug#839280: libc6: asprintf(&c, "%F", 1.0) puts 0.00000 in c on raspberry pi zero v1.3.

[Florian Weimer <fw@deneb.enyo.de>]

* Noah Williams:

>    * What led up to the situation? I was building a robot, and needed a raspberry pi zero to send a floating point number formatted as a string to an arduino.
>    * What exactly did you do (or not do) that was effective (or
>      ineffective)? I've tried passing bigger numbers than 1.0 (like 100.0) , but it didn't seem to do anything different, "%F %F" does however seem to get the second argument right.
>    * What was the outcome of this action? It printed out something like: -0.000000001 1.0 
>    * What outcome did you expect instead? 1.0 0.0

Please post complete, minimal source code, along with a description
how you compiled your program (and for what architecture).  Thanks.