Proposed resolution:

This wording is relative to N5032.

1. Modify [iterator.concept.winc] as indicated:

   -9- All integer-class types are structural types ([temp.param]) that model `regular` ([concepts.object]) and three_way_comparable<strong_ordering> ([cmp.concept]).

Currently, integer-class types are not guaranteed to be structure types, so the range of size members that return integer-class types may not be able to model tiny-range, because its size value cannot be used as a template parameter even if it is a constant expression. This does not appear to be the intention.

Given that integer-class types should behave like regular integers, and those types in MSVC-STL and libstdc++ are both implemented as structural types, it would be better to be clear about the wording.