See this interesting paper on the possible choices of definition for div and mod: RT Boute, "The Euclidean definition of the functions div and mod" (1992) htt

See this interesting paper on the possible choices of definition for div and mod: RT Boute, "The Euclidean definition of the functions div and mod" (1992) https://biblio.ugent.be/publication/314490/file/452146.pdf https://biblio.ugent.be/publication/314490/file/452146.pdf