preempt a division by zero

(whether or not it's actually possible based on other
considerations, this is a good idea)