Division mit Rest
The ordinary real integers and the Gaussian integers allow a division with remainder or Euclidean division.