The text 5125a6b1d1dc, as Debian 12 (Bookworm) shipped it.
Convert a value from u32 to float
conv_u32_float(9) on Linux now
