Properly format instance of std::bad_alloc