The text 420c9a6adf04, as Debian 10 (Buster) shipped it.
floating-point constants
HUGE_VAL(3) on Linux now
