Avoid badarith when working out coverage.