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