The text 1442d03fd646, as Debian 13 (Trixie) shipped it.
determine minimum of two floating-point numbers
fmin(3) on Linux now
