§
The Euclidean Definitions of The Functions div and mod
Paper
that explains
sdiv
,
tdiv
,
fdiv
, and
ediv
.