Wouldn't the exception be for lines whose slope is irrational? (i.e. that can't be represented by a ratio of integers), so the repeating pattern is analogous to the repeating pattern in a decimal representation of a rational number.
just:
{ x++ and y+=slope } or { y++ and x+= 1./slope }
Then slopes are always rational in line drawing algorithms.