Why does GCC's stdlibc++ define WeaklyIncrementable iterator requires moveable and it's difference_type must be integral? What benefits do they give?

Question

While I\'m trying to understand the ostream_joiner\'s std::ranges algorithm requirement concept failure fiasco, I found that GCC implementation of WeaklyIncrementable iterat