Add division by zero case to the `CheckedDiv` comment