Ahem.

lol

hjh

The Euclidean definition of the functions div and mod https://dl.acm.org/doi/10.1145/128861.128862

it is unfortunate that the definition of these functions appears to be
handled rather casually in the computer science literature and in the design
of programming languages, as one might infer from various poor “defini-
tional engineering” decisions down to wrong or erroneous definitions, as in
the ISO Standard for Pascal [11, 13], Algol 68 [201], and some other languages.

In this paper we clarify the differences between the various definitions, in
particular those based on division by truncation (T-definition) and on division
by flooring (F-definition) as defined by Knuth [141]. We also propose still
another definition, which we call Euclidean because it is based on Euclid’s
theorem (E-definition).

April 1992…