div_t(3avr) on Linux

The text 2f5cb57416be, as Debian 12 (Bookworm) shipped it.

div_t(3avr) on Linux now