The text 8085d8e8edd4, as Debian 13 (Trixie) shipped it.
largest integral value not greater than argument
floor(3) on Linux now
