The text fb9f6b5da93d, as Debian 13 (Trixie) shipped it.
floating-point number manipulation
nextafter(3) on Linux now