On the other hand, my impression is people expect there will be some
explicit inf-sup data type defined at level 3 and level 4 to be a pair of
IEEE 754 values, as this will likely be used in a large number of
implementations and applications.
So I *think* all Jurgen and Marco were suggesting is that -- in addition to
specifying the explicit and implicit ADTs -- P1788 might also wish to
consider specifying an explicit inf-sup data type at levels 3 and 4.
However, to the extent I understand correctly, this would build on top of
the generic ADT bindings and not replace them.