TL;DR – Add a built‑in tool that converts a binary (or hex) representation of an IEEE‑754 double‑precision floating‑point number into its decimal value, and vice‑versa. I often need to take a hexdump ...