---

Display an IEEE 754 float-point number.
Use the source