Почему take(n), используемый в istream_view, приводит к пропуску следующего токена в C++20?

В C++20, когда я использую std::ranges::views::take() на std::ranges::istream_view(), следующий токен в istream_view после итерации представления дубля пропускается.

Рассмотрим следующий фрагмент кода C++20:

#include <iostream>
#include <ranges>
#include <sstream>
#include <vector>
#include <algorithm>

namespace rn = std::ranges;

int main() {
    std::string input = "1 2 3 4 5 6 7 8 9 10";
    std::istringstream input_stream(input);

    std::vector<int> head;
    rn::copy(rn::istream_view<int>(input_stream) | rn::views::take(5),
             std::back_inserter(head));

    int next_int = 0;
    input_stream >> next_int;

    for(auto x : head) std::cout << x << " ";
    std::cout << next_int << std::endl;
}

Когда я компилирую и запускаю этот код в g++14 или clang++17, получается следующий вывод (обратите внимание на отсутствующую «6»):

1 2 3 4 5 7

Ссылка на Годболт: https://godbolt.org/z/vdGvx9666

Почему это происходит? Это предполагаемое поведение? Что можно сделать, чтобы обойти это?