The text 5c4a06e70d2b, as Debian 13 (Trixie) shipped it.
floating-point constants
HUGE_VAL(3) on Linux now
