The text 0d886cf1cb8f, as Debian 10 (Buster) shipped it.
largest integral value not greater than argument
floorf(3) on Linux now