Are we garanteed that we don't have integer division issues here?