Here I was looking specifically for a `std::invalid_argument` exception, not a `std::domain_error` exception. So the code in `main` does not complete correctly.