Comment by Silphendio

At the very least, division by zero should not be undefined for floats.