More consistently defend against division by zero with assertions. We