Euclidean division
This is used for approximating real numbers: Euclidean division defines truncation, and centered division defines rounding.