Understanding integer division