The text a1b485a065cd, as Debian 12 (Bookworm) shipped it.
Quotient of two floating point inputs
div2(9) on Linux now
